Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
541	Focus Games for Satisfiability and Completeness of Temporal Logic Martin Lange Colin Stirling LFCS, Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Edinburgh, EH9 3JZ {martin,cps}@dcs.ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:57:33 Formal languages Logical syntax Linear temporal logic Temporal logic Interpretation Entailment Substitution Model theory Well-formed formula Logic Metalogic Propositional calculus
542	Edward N. Zalta Replies to the Critics∗ Edward N. Zalta Center for the Study of Language and Information Stanford University Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:13:27 Philosophy of language Modal logic Logical syntax Propositional calculus Proposition Sense and reference Function Entailment Possible world Logic Philosophy Philosophical logic
543	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-03-26 14:18:16 Model theory Formal languages Predicate logic Logical syntax First-order logic Interpretation Principia Mathematica Well-formed formula Function Logic Mathematics Mathematical logic
544	An Extension of the LATEX theorem environment∗ Frank Mittelbach Electronic Data Systems (Deutschland) GmbH Eisenstraße 56 D[removed]R¨ Add to Reading List Source URL: www.stud.math.ntnu.no Language: English - Date: 2005-03-10 07:05:04 Logical syntax Philosophical logic Philosophy of language Theorems LaTeX TeX Logic Mathematics Logical consequence
545	Testing statistical software II: there’s a theorem somewhere Ben Klemens Last time (entry #177), I discussed the value of adding assertions to your code, to check guarantees that the code should follow. I talked about Add to Reading List Source URL: modelingwithdata.org Language: English - Date: 2014-05-06 07:14:56 Statistical tests Logical consequence Logical syntax Philosophical logic Theorems Expected value Kolmogorov–Smirnov test Normal distribution Central limit theorem Statistics Logic Mathematics
546	Description Logics Using First Order Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Metalogic Logical syntax Propositional calculus First-order logic Interpretation Satisfiability Well-formed formula Linear temporal logic Entailment Logic Model theory Formal languages
547	Description Logics Foundations of First Order Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Formal languages Propositional calculus Logical syntax Interpretation First-order logic Well-formed formula Proposition Logical connective Function Logic Mathematical logic Predicate logic
548	AVoCS[removed]Automated Verification of Signalling Principles in Railway Interlockings 1 Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2009-11-12 17:52:00 Metalogic Railway signalling Model theory Interlocking Ladder logic Propositional variable First-order logic Ladder Model checking Logic Propositional calculus Logical syntax
549	The Revolution against Affirmative Action in California: Racism, Economics, and Proposition 209 Author(s): R. Michael Alvarez and Lisa García Bedolla Add to Reading List Source URL: www.marioguerrero.info Language: English - Date: 2013-11-11 09:38:53 Logical syntax Mental content Philosophy of language Proposition Propositional calculus Statements Independent Logic Philosophy of mind Linguistics

UPDATE